<body>
  See "hidden.html" and "mouse.html" documents.
</body>
